mask_interrupt		pic_mask_interrupt
unmask_interrupt	pic_unmask_interrupt
yield			yield
kill_current_thread	kill_current_thread
splinter		splinter
add_interrupt_handler	add_handler
remove_from_pagetable	paging_remove_from_table
add_to_pagetable	paging_add_to_table
print			vgaprint
linear_getwp		linear_getwp
linear_new		linear_new
linear_spare		linear_spare
get_new_soapbox		get_new_soapbox
get_soapbox_from_name	get_soapbox_from_name
believe			believe
renounce		renounce
supplicate		supplicate
get_next_rant		get_next_rant
rant			rant
freepages		kfreepages
getpages		kgetpages
herdpages		kherdpages
getpage			kgetpage
freepage		kfreepage
